More from this Author
Found 4 books by Doron Peled (Editor)
Computer Aided Verification
by Nicolas Halbwachs (Editor), Doron Peled (Editor)
Automated Technology for Verification and Analysis
by Cyrille Artho (Editor), Axel Legay (Editor), Doron Peled (Editor)
Computer Aided Verification
by Nicolas Halbwachs (Editor), Doron Peled (Editor)
Automated Technology for Verification and Analysis
by Cyrille Artho (Editor), Axel Legay (Editor), Doron Peled (Editor)